On decidability of recursive weighted logics
نویسندگان
چکیده
منابع مشابه
On decidability of recursive weighted logics
In this paper we develop and study two recursive weighted logics (RWLs) Lw and Lt, which are multimodal logics that express qualitative and quantitative properties of labelled weighted transition systems (LWSs). LWSs are transition systems describing systems with quantitative aspects. They have labels with both actions and real-valued quantities representing the costs of transitions with respec...
متن کاملOn Decidability of Intuitionistic Modal Logics
We prove a general decidability result for a class of intuitionistic modal logics. The proof is a slight modification of the Ganzinger, Meyer and Veanes [6] result on decidability of the two variable monadic guarded fragment of first order logic with constraints on the guard relations expressible in monadic second order logic.
متن کاملOn PSPACE-decidability in Transitive Modal Logics
In this paper we describe a new method, allowing us to prove PSPACE-decidability for transitive modal logics. We apply it to L1 and L2, modal logics of Minkowski spacetime. We also show how to extend this method to some other transitive logics.
متن کاملDecidability Properties of Recursive Types
In this paper we study decision problems and invertibility for two notions of equivalence of recursive types. In particular, for recursive types presented by means of a recursion operator μ, we describe an algorithm showing that the natural equivalence generated by finitely many steps of folding and unfolding of μ-types is decidable. For recursive types presented by finite systems of recursive ...
متن کاملOn Weighted Configuration Logics
We introduce and investigate a weighted propositional configuration logic over a commutative semiring. Our logic, which is proved to be sound and complete, is intended to serve as a specification language for software architectures with quantitative features. We extend the weighted configuration logic to its first-order level and succeed in describing architecture styles equipped with quantitat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Soft Computing
سال: 2016
ISSN: 1432-7643,1433-7479
DOI: 10.1007/s00500-016-2193-z